Formal methods for industrial applications - specifying and programming the steam boiler control
- Författare
- (Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.).)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Tyskland, Berlin | 509 sidor. |